See proof by contradiction on Wiktionary
{
"forms": [
{
"form": "proofs by contradiction",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "~",
"2": "proofs by contradiction"
},
"expansion": "proof by contradiction (countable and uncountable, plural proofs by contradiction)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Czech translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Dutch translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Greek translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Icelandic translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Latin translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Polish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Romanian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Swedish translations",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Logic",
"orig": "en:Logic",
"parents": [
"Formal sciences",
"Philosophy",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"glosses": [
"Proof of a statement adduced by deriving a contradiction from the statement's negation."
],
"id": "en-proof_by_contradiction-en-noun-SpB2PiSr",
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"deriving",
"derive"
],
[
"contradiction",
"contradiction"
],
[
"negation",
"negation"
]
],
"raw_glosses": [
"(mathematics, logic) Proof of a statement adduced by deriving a contradiction from the statement's negation."
],
"synonyms": [
{
"word": "apagoge"
},
{
"word": "reductio ad absurdum"
}
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "反證法"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "fǎnzhèngfǎ",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "反证法"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "bèilǐfǎ",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "背理法"
},
{
"code": "cs",
"lang": "Czech",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "důkaz sporem"
},
{
"code": "nl",
"lang": "Dutch",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "bewijs uit het ongerijmde"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "ristiriitatodistus"
},
{
"code": "fr",
"lang": "French",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "preuve par l’absurde"
},
{
"code": "fr",
"lang": "French",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "raisonnement par l’absurde"
},
{
"code": "de",
"lang": "German",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "Widerspruchsbeweis"
},
{
"code": "de",
"lang": "German",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "Beweis durch Widerspruch"
},
{
"code": "el",
"lang": "Greek",
"roman": "eis átopon apagogí",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "εις άτοπον απαγωγή"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "óbein sönnun"
},
{
"code": "la",
"lang": "Latin",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "reductiō ad absurdum"
},
{
"code": "pl",
"lang": "Polish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "dowód nie wprost"
},
{
"code": "pl",
"lang": "Polish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "sprowadzenie do absurdu"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "reducere la absurd"
},
{
"code": "ru",
"lang": "Russian",
"roman": "dokazátelʹstvo ot protívnovo",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "доказа́тельство от проти́вного"
},
{
"code": "sv",
"lang": "Swedish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "motsägelsebevis"
}
]
}
],
"word": "proof by contradiction"
}
{
"forms": [
{
"form": "proofs by contradiction",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "~",
"2": "proofs by contradiction"
},
"expansion": "proof by contradiction (countable and uncountable, plural proofs by contradiction)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
"English countable nouns",
"English entries with incorrect language header",
"English lemmas",
"English multiword terms",
"English nouns",
"English uncountable nouns",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Terms with Czech translations",
"Terms with Dutch translations",
"Terms with Finnish translations",
"Terms with French translations",
"Terms with German translations",
"Terms with Greek translations",
"Terms with Icelandic translations",
"Terms with Latin translations",
"Terms with Mandarin translations",
"Terms with Polish translations",
"Terms with Romanian translations",
"Terms with Russian translations",
"Terms with Swedish translations",
"en:Logic",
"en:Mathematics"
],
"glosses": [
"Proof of a statement adduced by deriving a contradiction from the statement's negation."
],
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"deriving",
"derive"
],
[
"contradiction",
"contradiction"
],
[
"negation",
"negation"
]
],
"raw_glosses": [
"(mathematics, logic) Proof of a statement adduced by deriving a contradiction from the statement's negation."
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
]
}
],
"synonyms": [
{
"word": "apagoge"
},
{
"word": "reductio ad absurdum"
}
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "反證法"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "fǎnzhèngfǎ",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "反证法"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "bèilǐfǎ",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "背理法"
},
{
"code": "cs",
"lang": "Czech",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "důkaz sporem"
},
{
"code": "nl",
"lang": "Dutch",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "bewijs uit het ongerijmde"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "ristiriitatodistus"
},
{
"code": "fr",
"lang": "French",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "preuve par l’absurde"
},
{
"code": "fr",
"lang": "French",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "raisonnement par l’absurde"
},
{
"code": "de",
"lang": "German",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "Widerspruchsbeweis"
},
{
"code": "de",
"lang": "German",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "Beweis durch Widerspruch"
},
{
"code": "el",
"lang": "Greek",
"roman": "eis átopon apagogí",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "εις άτοπον απαγωγή"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "óbein sönnun"
},
{
"code": "la",
"lang": "Latin",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "reductiō ad absurdum"
},
{
"code": "pl",
"lang": "Polish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "dowód nie wprost"
},
{
"code": "pl",
"lang": "Polish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "sprowadzenie do absurdu"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "reducere la absurd"
},
{
"code": "ru",
"lang": "Russian",
"roman": "dokazátelʹstvo ot protívnovo",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "доказа́тельство от проти́вного"
},
{
"code": "sv",
"lang": "Swedish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "motsägelsebevis"
}
],
"word": "proof by contradiction"
}
Download raw JSONL data for proof by contradiction meaning in All languages combined (5.0kB)
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the enwiktionary dump dated 2024-10-02 using wiktextract (fbeafe8 and 7f03c9b). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.